A Privacy-Preserving Federated Learning Method with Homomorphic Encryption in Omics Data
arxiv.org·5d
🔒Digital Privacy
Flag this post
Noninvertible symmetries: What's done cannot be undone
physicstoday.aip.org·7h·
Discuss: Hacker News
⚛️Quantum Computing
Flag this post
Attention really is all you need — The Encoder
pub.towardsai.net·1h
🤖Transformers
Flag this post
Position-Candidate-Hypothesis (PCH) Paradigm: A New Research Direction for NP-Complete Problems
dev.to·23h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Built a simple C program that cracks hashed passwords (dictionary attack). Looking for feedback!
reddit.com·1d·
Discuss: r/C_Programming
🔓Binary Exploitation
Flag this post
Troupe：multi-role finite state machine
ziggit.dev·4h·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
news.ycombinator.com·3h·
Discuss: Hacker News
🕐Vector Clocks
Flag this post
Stanford's new Equivariant Encryption enables private AI inference with zero slowdown - works with any symmetric encryption
reddit.com·2d·
Discuss: r/LocalLLaMA
📱Edge AI
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
composio.dev·9h·
Discuss: r/ClaudeAI
📦Folly
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·2d·
Discuss: Lobsters, Hacker News
📐Type Theory
Flag this post
Biometric Key Derivation for Decentralized Identity Using Fuzzy Extractors
blog.shodipoayomide.com·2d·
Discuss: Hacker News
🌳Merkle Trees
Flag this post
Beauty in/of mathematics: tessellations and their formulas
tandfonline.com·2d·
Discuss: Hacker News
🎨Computer Graphics
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·11h·
Discuss: Hacker News
🏗️Cranelift
Flag this post
Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
dev.to·19h·
Discuss: DEV
🧮SMT Solvers
Flag this post
A tiny proxy in Rust for using alternative LLM providers with Anthropic-compatible tools (like Claude Code or Claude Agent SDK successors)
github.com·10h·
Discuss: r/rust
🍱Nom
Flag this post
Distributed blockchain auth mechanism for secure and efficient MANETs
nature.com·1d·
Discuss: Hacker News
⛓️Blockchain
Flag this post
Solving Project Euler #45
loriculus.org·6h·
Discuss: Hacker News
📊Dynamic Programming
Flag this post
Google's AI is now able to compete in Math Olympiads and rank among top three
mundoamerica.com·2d·
Discuss: Hacker News
🔢algo
Flag this post
ML Systems Textbook by Havard
mlsysbook.ai·5h·
Discuss: Hacker News
🚀MLOps
Flag this post